Role congruity theory affirms that female managers face more difficulties at work because of the incongruity between female gender and leadership role expectations. Furthermore, due to this incongruity, it is harder for female managers to perceive themselves as authentic leaders. However, followers’ attributions of prototypicality could attenuate this role incongruity and have implications on a managers’ organizational identification. Hence, we expect male managers to be more authentic and to identify more with their organizations, when compared to female managers who are (...) low in prototypicality. We hypothesized that authentic leadership dimensions mediate the relation between managers’ biological gender and their OID. However, this indirect effect is conditional of these managers' team prototypicality. For testing these hypotheses, we conducted an online experiment with 149 participants from different work sectors using a 2 × 2 between-subject design. As predicted, men scored higher on authentic leadership, and three dimensions partially mediated the effect of participants’ biological gender on OID. In the low team prototypicality condition female managers scored lower in authentic leadership and identified less with the organization, whereas in the high team prototypicality condition, no gender differences were found. (shrink)

Leg rigidity is associated with frequent falls in people with Parkinson’s disease, suggesting a potential role in functional balance and gait impairments. Changes in the neural state due to secondary tasks, e.g., activation maneuvers, can exacerbate rigidity, possibly increasing the risk of falls. However, the subjective interpretation and coarse classification of the standard clinical rigidity scale has prohibited the systematic, objective assessment of resting and activated leg rigidity. The pendulum test is an objective diagnostic method that we hypothesized would be (...) sensitive enough to characterize resting and activated leg rigidity. We recorded kinematic data and electromyographic signals from rectus femoris and biceps femoris during the pendulum test in 15 individuals with PD, spanning a range of leg rigidity severity. From the recorded data of leg swing kinematics, we measured biomechanical outcomes including first swing excursion, first extension peak, number and duration of the oscillations, resting angle, relaxation index, maximum and minimum angular velocity. We examined associations between biomechanical outcomes and clinical leg rigidity score. We evaluated the effect of increasing rigidity through activation maneuvers on biomechanical outcomes. Finally, we assessed whether either biomechanical outcomes or changes in outcomes with activation were associated with a fall history. Our results suggest that the biomechanical assessment of the pendulum test can objectively quantify parkinsonian leg rigidity. We found that the presence of high rigidity during clinical exam significantly impacted biomechanical outcomes, i.e., first extension peak, number of oscillations, relaxation index, and maximum angular velocity. No differences in the effect of activation maneuvers between groups with clinically assessed low rigidity were observed, suggesting that activated rigidity may be independent of resting rigidity and should be scored as independent variables. Moreover, we found that fall history was more common among people whose rigidity was increased with a secondary task, as measured by biomechanical outcomes. We conclude that different mechanisms contributing to resting and activated rigidity may play an important yet unexplored functional role in balance impairments. The pendulum test may contribute to a better understanding of fundamental mechanisms underlying motor symptoms in PD, evaluating the efficacy of treatments, and predicting the risk of falls. (shrink)

Recent attempts to develop and apply digital ethics principles to address the challenges of the digital transformation leave organisations with an operationalisation gap. To successfully implement such guidance, they must find ways to translate high-level ethics frameworks into practical methods and tools that match their specific workflows and needs. Here, we describe the development of a standardised risk assessment tool, the Principle-at-Risk Analysis (PaRA), as a means to close this operationalisation gap for a key level of the ethics infrastructure at (...) many organisations – the work of an interdisciplinary ethics panel. The PaRA tool serves to guide and harmonise the work of the Digital Ethics Advisory Panel at the multinational science and technology company Merck KGaA in alignment with the principles outlined in the company’s Code of Digital Ethics. We examine how such a tool can be used as part of a multifaceted approach to operationalise high-level principles at an organisational level and provide general requirements for its implementation. We showcase its application in an example case dealing with the comprehensibility of consent forms in a data-sharing context at Syntropy, a collaborative technology platform for clinical research. (shrink)

Counting models for a two conjunctive formula $F$, a problem known as $\sharp $2Sat, is a classic $\sharp $P complete problem. Given a 2-CF $F$ as input, its constraint graph $G$ is built. If $G$ is acyclic, then $\sharp $2Sat can be computed efficiently. In this paper, we address the case when $G$ has cycles. When $G$ is cyclic, we propose a decomposition on the constraint graph $G$ that allows the computation of $\sharp $2Sat in incremental way. Let $T$ be (...) a cactus graph of $G$ containing a maximal number of independent cycles, and let $\overline{T}=-E)$ be a subset of frond edges from $G$. The clauses in $\overline{T}$ are ordered in connected components $\{K_1, \ldots, K_r\}$. Each $, i=1,\ldots,r$ is a knot of the graph. The arrangement of the clauses of $\overline{T}$ allows the decomposition of $G$ in knots and provides a way of computing $\sharp $2Sat in an incremental way. Our procedure has a bottom-up orientation for the computation of $\sharp $2Sat. It begins with $F_0 = T$. In each iteration of the procedure, a new clause $C_i \in \overline{T}$ is considered in order to form $F_i = $ and then to compute $\sharp $2Sat$$ based on the computation of $\sharp $2Sat$$. (shrink)

David Lewis criticizes an argument I put forward against mechansim on the grounds that I fail to distinguish between OL, Lucas's ordinary potential arithmetic output, and OML, Lucas's arithmetical output when accused of being some particular machine M; and correspondingly, between OM the ordinary potential arithmetic output of the machine M, and ONM, the arithmetic output of the machine M when accused of being a particular machine N. For any given machine, M, N, O, P, Q, R,... etc., (...) I can in principle calculate a Godel sentence for that machine - indeed infinitely many, depending on the Godel numbering scheme adopted. The Godel sentence of a particular machine can, I claim, be seen to be true, if that machine is adequate for Elementary Peano Arithmetic. Hence, if I were accused of being M, I can on that supposition see that the Godel sentence of M is true, since I am capable of Elementary Peano Arithmetic and the machine M is said to be an adequate characterization of me. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

That space and time should be integrated into a single entity, spacetime, is the great insight of Einstein's special theory of relativity, and leads us to regard spacetime as a fundamental context in which to make sense of the world around us. But it is not the only one. Causality is equally important and at least as far as the special theory goes, it cannot be subsumed under a fundamentally geometrical form of explanation. In fact, the agent of propagation of (...) causal influence is electromagnetic radiation. In this examination, the authors find support for a rationalist approach to physics, never neglecting experimentation, but rejecting a simple empiricist or positivist view of science. (shrink)

The application of Gödel’s theorem to the problem of minds and machines is difficult. Paul Benacerraf makes the entirely valid ‘Duhemian’ point that the argument is not, and cannot be, a purely mathematical one, but needs some philosophical premisses to be able to yield any philosophical conclusions. Moreover, the philosophical premisses are of very different kinds. Some are concerned with what is essential to being a machine—these are typically intricate, but definite, easily formalised by the mathematician, but unintelligible to the (...) layman: others attempt to capture what is essential to being a mind, a person or a self—these are typically intuitive, but vague; resistant to exact definition by the logician, but, none the less, widely used and well understood. Gödel’s theorem itself, like many other truths, can be taken either way: it can be taken as a formal proof sequence yielding certain syntactical results about a certain class of formal systems, but it can also be taken as giving us a certain type or style of argument, which we can understand, and, once having got the hang of it, adapt and apply in innumerable different circumstances. In my dispute with the mechanist, I take Gödel’s argument both ways: I first take it as an argument which the mechanist, even according to his own mechanist principles, must accept as scoring some point against his favourite machine; and then I hope that the mechanist, as a man, will see that he can do better and that this sort of argument will always apply against any form of mechanism he espouses. (shrink)

Genetic explanation of complex human behavior presents an excellent test case for pluralism. Although philosophers agree that successful scientific investigation of behavior is pluralistic, there remains disagreement regarding integration and elimination—is the plurality of approaches here to stay, or merely a waystation on the road to monism? In this paper we introduce an issue taken very seriously by scientists yet mostly ignored by philosophers—the missing heritability problem—and assess its implications for disagreement among pluralists. We argue that the missing heritability problem, (...) which isn’t going anywhere any time soon, implies that pluralism in behavior genetics is both practically ineliminative and theoretically non-integrative. (shrink)

The Conceptual Roots of Mathematics is a comprehensive study of the foundation of mathematics. J.R. Lucas, one of the most distinguished Oxford scholars, covers a vast amount of ground in the philosophy of mathematics, showing us that it is actually at the heart of the study of epistemology and metaphysics.

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

In the present study, we complement role congruity theory with insights from the Social Identity Model of Leadership. We propose that especially female leaders benefit from team prototypicality, i.e., being representative of the group they are leading. We assume that team prototypicality shifts the comparative frame away from higher-order categories like gender and leader roles to more concrete team-related properties and thereby reduces disadvantages for female leader that stem from the incongruity between the leader role and the female gender role (...) stereotypes. Further, this effect should affect both leaders themselves and their perception by their followers. Building on previous research, we predict, first, lower authentic leadership behavior for female than male leaders. Second, that team prototypicality positively relates to authentic leadership and trust in leader. Third, that team prototypicality has stronger relations to authentic leadership and trust in leader for female compared to male leaders. We tested assumptions in a randomized online experiment and a cross-sectional survey study. We did not find consistent support for the assumed gender differences in authentic leadership. But our results show that team prototypicality—both self-perceived and as perceived by employees —is related to more authentic leadership and more trust in leader and that these relations are stronger for female than for male leaders. Furthermore, we tested in Study 2 an extended model including follower’s job satisfaction as the final follower outcome affected via team prototypicality, leader gender, authentic leadership, and trust in leader. Thereby, we found that team prototypicality has direct and indirect effects on job satisfaction as carried through authentic leadership and trust in leader, respectively. Together, the results of both studies support our assumptions and show that female leaders can reduce role incongruity barriers through high team prototypicality. Implications for future research and practical implications of these results for gender equality are discussed. (shrink)

The application of Gödel’s theorem to the problem of minds and machines is difficult. Paul Benacerraf makes the entirely valid ‘Duhemian’ point that the argument is not, and cannot be, a purely mathematical one, but needs some philosophical premisses to be able to yield any philosophical conclusions. Moreover, the philosophical premisses are of very different kinds. Some are concerned with what is essential to being a machine—these are typically intricate, but definite, easily formalised by the mathematician, but unintelligible to the (...) layman: others attempt to capture what is essential to being a mind, a person or a self—these are typically intuitive, but vague; resistant to exact definition by the logician, but, none the less, widely used and well understood. Gödel’s theorem itself, like many other truths, can be taken either way: it can be taken as a formal proof sequence yielding certain syntactical results about a certain class of formal systems, but it can also be taken as giving us a certain type or style of argument, which we can understand, and, once having got the hang of it, adapt and apply in innumerable different circumstances. In my dispute with the mechanist, I take Gödel’s argument both ways: I first take it as an argument which the mechanist, even according to his own mechanist principles, must accept as scoring some point against his favourite machine; and then I hope that the mechanist, as a man, will see that he can do better and that this sort of argument will always apply against any form of mechanism he espouses. (shrink)

A strong case has been made for the role and value of mechanistic explanation in neuroscience and molecular biology. A similar demonstration in other domains of scientific investigation, however, remains an important challenge of scope for the new mechanists. This article helps answer that challenge by demonstrating one valuable role mechanisms play in phylogenetics. Using the transition/transversion rate parameter as a case example, this article argues that models embedded with mechanisms produce stronger phylogenetic tree hypotheses, as measured by maximum likelihood (...) logL values. Two important implications for the new mechanistic account of explanation are considered. (shrink)

Equality is the great political issue of our time. Liberty is forgotten: Fraternity never did engage our passions: the maintenance of Law and Order is at a discount: Natural Rights and Natural Justice are outmoded shibboleths. But Equality—there men have something to die for, kill for, agitate about, be miserable about. The demand for Equality obsesses all our political thought. We are not sure what it is—indeed, as I shall show later, we are necessarily not sure what it is—but we (...) are sure that whatever it is, we want it: and while we are prepared to look on frustration, injustice or violence with tolerance, as part of the natural order of things, we will work ourselves up into paroxysms of righteous indignation at the bare mention of Inequality. (shrink)

The author, who pioneered this argument in 1961, here places it in the context of traditional discussions of the problem, and answers various criticisms that have been made.

In this article, Lucas maintains the falseness of Mechanism - the attempt to explain minds as machines - by means of Incompleteness Theorem of Gödel. Gödel’s theorem shows that in any system consistent and adequate for simple arithmetic there are formulae which cannot be proved in the system but that human minds can recognize as true; Lucas points out in his turn that Gödel’s theorem applies to machines because a machine is the concrete instantiation of a formal system: (...) therefore, for every machine consistent and able of doing simple arithmetic, there is a formula that it can’t produce as true but that we can see to be true, and so human minds and machines have to be different. Lucas considers as well in this article some possible objections to his argument: for any Gödelian formula we could, for instance, construct a machine able to produce it or we could put the Gödelian formulae that we had proved as axioms of a further machine. However - as Lucas underlines - for every of such machines we could again formulate another Gödelian formula, the Gödelian formula of these machines, that they are not able to proof but that we can recognize as true. More general arguments, such as the possibility to escape Gödelian argument by suggesting that Gödel’s theorem applies to consistent systems while we could be inconsistent ones, are moreover refuted by Lucas by maintaining that our inconsistency corresponds to occasional malfunctioning of a machine and not to his normal inconsistency; indeed, a inconsistent machine is characterized by producing any statement, on the contrary human being are selective and not disposed to assert anything. (shrink)

Lucas Matthews and I substantially revised my SEP entry on Heritability. This version includes discussion of the missing heritability problem and other issues that arise from the use of Genome Wide Association Studies by Behavioral Geneticists.

“Towards a Theory of Taxation” is a proper theme for an Englishman to take when giving a paper in America. After all it was from the absence of such a theory that the United States derived its existence. The Colonists felt strongly that there should be no taxation without representation, and George III was unable to explain to them convincingly why they should contribute to the cost of their defense. Since that time, understanding has not advanced much. In Britain we (...) still maintain the fiction that taxes are a voluntary gift to the Crown, and taxing statutes are given the Royal Assent with the special formula, “La Reine remercie ses bons sujets, accepte leur benevolence, et ainsi le veult” instead of the simple “La Reine le veult,” and in the United States taxes have regularly been levied on residents of the District of Columbia who until recently had no representation in Congress, and by the State of New York on those who worked but did not reside in the State, and so did not have a vote. Taxes are regularly levied, in America as elsewhere, on those who have no say on whether they should be levied or how they should be spent. I am taxed by the Federal Government on my American earnings and by state governments on my American spending, but I should be hard put to it to make out that it was unjust. Florida is wondering whether to follow California in taxing multinational corporations on their world-wide earnings. (shrink)

A strong case has been made for the role and value of mechanistic reasoning in process-oriented sciences, such as molecular biology and neuroscience. This paper shifts focus to assess the role of mechanistic reasoning in an area where it is neither obvious nor expected: population genetics. Population geneticists abstract away from the causal-mechanical details of individual organisms and, instead, use mathematics to describe population-level, statistical phenomena. This paper, first, develops a framework for the identification of mechanistic reasoning where it is (...) not obvious: mathematical and mechanistic styles of scientific reasoning. Second, it applies this framework to demonstrate that both styles are integrated in modern investigations of evolutionary biology. Characteristic of the former, applied population genetic techniques provide statistical evidence for associations between genotype, phenotype, and fitness. Characteristic of the latter, experimental interventions provide causal-mechanical evidence for associations between the very same relationships, often in the same model organisms. The upshot is a richer perspective of how evolutionary biologists build evidence for hypotheses regarding adaptive evolution and a general framework for assessing the scope of mechanistic reasoning across the sciences. (shrink)

Justice has always been regarded as one of the fundamental political virtues. No association of human individuals could subsist, says Hume, “were no regard paid to the laws of equity and justice”, and nearly every thinker who has turned to consider human society, has reached the same conclusion. Yet we are not at all clear what justice is, nor why it is so important. There are many other ideals which a society may cherish, and often reformers have felt impatient of (...) having to compromise their aims merely for the sake of justice, and have not seen why the claims of justice should in any way override other political goods. I shall try to show why justice is, along with liberty, a peculiarly fundamental ideal, which is not merely co-ordinate with other ideals a society may value; but also that this notwithstanding, considerations of justice are not all-sufficient, and do not, and should not, always override all other political ideals. (shrink)

In addition to theorizing about the role and value of mechanisms in scientific explanation or the causal structure of the world, there is a fundamental task of getting straight what a ‘mechanism’ is in the first place. Broadly, this paper is about the challenge of application: the challenge of aligning one's philosophical account of a scientific concept with the manner in which that concept is actually used in scientific practice. This paper considers a case study of the challenge of application (...) as it pertains to the concept of a mechanism: the debate about whether natural selection is a mechanism. By making clear what is and is not at stake in this debate, this paper considers various strategies for dealing with the challenge of application and makes a case for definitional pluralism about mechanism concepts. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the liar paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the liar paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)